completeness of axiom system

公設系統的完備性